Implication Details

Assumptions: filtered-colimit-stable monomorphisms, self-dual

Conclusions: cofiltered-limit-stable epimorphisms

Proof: This holds by self-duality.

Show 6 categories using this implication